Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Vibe coding needs a spec, too
stackoverflow.blogยท12h
๐Interface Evolution
Flag this post
When AI Agents Go Rogue: Agent Session Smuggling Attack in A2A Systems
unit42.paloaltonetworks.comยท10h
๐ต๏ธVector Smuggling
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท16h
๐Log Parsing
Flag this post
OpenSMTPD 7.8.0p0 released with security fixes and improvements
discoverbsd.comยท8h
๐Operating system internals
Flag this post
Building Up And Sanding Down
endler.devยท20h
๐ฉSystems Programming
Flag this post
Roadmap for Improving the Type Checker
๐งLiquid Types
Flag this post
Implementing MQTT 5 in Go: A Deep Dive into Client Design - Part I
๐Format Specification
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
๐ง Lisp Dialects
Flag this post
Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.infoยท22h
๐Cryptographic Protocols
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Functional Compilers
Flag this post
Olsrt โ OverLab Streams Runtime
๐Linear Types
Flag this post
My first day in Rust
๐ฆRust Borrowing
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท13h
โ
Format Verification
Flag this post
Notes from RIPE 91
blog.apnic.netยท21h
๐DNS over QUIC
Flag this post
exploits.club Weekly Newsletter 91 - Patch-gapping Browsers, Ubuntu LPEs, Bluetooth Int Underflows, And More
blog.exploits.clubยท3h
๐Hacking
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.ioยท55m
โ๏ธTLA+
Flag this post
Loading...Loading more...